cmseq(${\it from}$;${\it to}$;${\it num}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$inr $<$${\it from}$, ${\it to}$, ${\it num}$$>$